منابع مشابه
Simple Homogeneous Models
This paper attempts to give a self-contained development of dividing theory (also called forking theory) in a strongly homogeneous structure. Dividing is a combinatorial property of the invariant relations on a structure that have yielded deep results for the models of so-called “simple” first-order theories. Below we describe for the nonspecialist how this paper fits in the broader context of ...
متن کاملBinary Simple Homogeneous Structures
We describe all binary simple homogeneous structuresM in terms of ∅de nable equivalence relations on M , which coordinatize M and control dividing, and extension properties that respect these equivalence relations.
متن کاملSimple homogeneous sliding-mode controller
High-order sliding mode (HOSM) control is known to provide for finite-time-exact output regulation of uncertain systems with known relative degrees. Yet the corresponding universal HOSM controllers are typically constructed by special recursive procedures and have complicated form. We propose two new families of homogeneous HOSM controllers of a very simple form. Lyapunov functions are provided...
متن کاملBounding homogeneous models
A Turing degree d is homogeneous bounding if every complete decidable (CD) theory has a d-decidable homogeneous model A, i.e., the elementary diagram D(A) has degree d. It follows from results of Macintyre and Marker that every PA degree (i.e., every degree of a complete extension of Peano Arithmetic) is homogeneous bounding. We prove that in fact a degree is homogeneous bounding if and only if...
متن کاملhomogeneous - universal ’ models
Classes with few models have 'homogeneous-universal' models This paper is concerned with a class K of models and an abstract notion of submodel ≤. Experience in first order model theory has shown the desirability of finding a 'monster model' to serve as a universal domain for K. In the original constructions of Jónsson and Fraissè, K was a universal class and ordinary substructure played the ro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the American Mathematical Society
سال: 2002
ISSN: 0894-0347,1088-6834
DOI: 10.1090/s0894-0347-02-00407-1